package org.andes.kownledge.operator;

import org.andes.base.Bindings;

public class FloatNum extends Term {
	float value;
	public FloatNum(float value){
		this.value=value;
	}

	@Override
	public Term renameVariable() {
		
		return new FloatNum(value);
	}

	@Override
	public Term substBindings(Bindings bindings) {
		return new FloatNum(value);
	}

}
